let f x y = ()

fun x y->{caret} f [1,
             2] y
